41. Frontiers of high performance computing and networking
پدیدآورنده: / Geyong Min ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Parallel processing (Electronic computers) Congresses,Electronic data processing- Distributed processing Congresses,High performance computing Congresses,Computational grids (Computer systems) Congresses
رده :
QA76
.
88
.
F76
2006


42. Frontiers of high performance computing and networking
پدیدآورنده: / Geyong Min ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Parallel processing (Electronic computers) Congresses,Electronic data processing- Distributed processing Congresses,High performance computing Congresses,Computational grids (Computer systems) Congresses
رده :
QA76
.
88
.
F76
2006


43. Hierarchical Scheduling in Parallel and Cluster Systems
پدیدآورنده: by Sivarama Dandamudi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture.,Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
B975
2003


44. Introduction to parallel computing :
پدیدآورنده: Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)
رده :
QA76
.
642


45. It's all about coordination :
پدیدآورنده: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb


46. Job scheduling strategies for parallel processing :
پدیدآورنده: Dalibor Klusáček, Walfredo Cirne, Narayan Desai (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
58


47. Languages, compilers, and run-time environments for distributed memory machines /
پدیدآورنده: edited by Joel Saltz and Piyush Mehrotra
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Compilers (Computer programs),Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
9
.
D5
L3655
1992


48. Linear time, branching time, and partial order in logics and models for concurrency :
پدیدآورنده: J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
L523
1989


49. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
پدیدآورنده: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354


50. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing
رده :
QA
76
.
5
.
L523
1989


51. Logics for concurrency : structure versus automata
پدیدآورنده: Faron Moller, Graham Birtwistle )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1043


52. Modelling distributed systems
پدیدآورنده: / Wan Fokkink
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Parallel programs (Computer programs)--Verification
رده :
QA
,
76
.
58
,.
F65
,
2007


53. Network and parallel computing :
پدیدآورنده: Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2013


54. Network and parallel computing :
پدیدآورنده: Feng Zhang, Jidong Zhai, Marc Snir, Hai Jin, Hironori Kasahara, Mateo Valero (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses.,Parallel computers, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer networks.,Parallel computers.,Parallel processing (Electronic computers)
رده :
QA76
.
58


55. Network-based parallel computing
پدیدآورنده: Dhabaleswar K. Panda, Craig B. Stunkel, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.

56. New parallel algorithms for direct solution of linear equations
پدیدآورنده: / C. Siva Ram Murthy, K.N. Balasubramanya Murthy, Srinivas Aluru
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Differential equations, Linear -- Data processing,Computer algorithms,Parallel processing (Electronic computers)
رده :
QA
372
.
M92
2001


57. Object-based parallel and distributed computation : France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21-23, 1995 : selected papers
پدیدآورنده: Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Object-oriented programming )Computer science(,، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1107


58. Operating systems
پدیدآورنده: / Jean Bacon and Tim Harris
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Operating systems (Computers),Parallel programming (Computer science),Electronic data processing- Distributed processing
رده :
QA76
.
76
.
O63
,
B3319
2003


59. Operating systems :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Operating systems (Computers) ; Parallel programming (Computer science) ; Electronic data processing ; Distributed processing ;

60. Operating systems
پدیدآورنده: / Jean Bacon and Tim Harris
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Operating systems (Computers),Parallel programming (Computer science),Electronic data processing--Distributed processing
رده :
QA
,
76
.
76
,.
O63
,
B3319
,
2003

